退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:用演绎-画面方法形式化统一算法的形式化合成
Nardi, Daniele;
机译:粒子连续体方法:细胞内粒子和连续体方法的算法统一
机译:通过结构分析方法和正式统一方法解决数学问题
机译:二次统一算法的形式正确性
机译:PowerEpsilon中统一算法的机械综合
机译:类型推断和统一:Wand算法及其周围的形式和非正式证明。
机译:使用自适应神经模糊推理系统 - 遗传算法(ANFIS-GA)和多元回归方法植物植物植物生物合成诱导紫杉醇生物合成诱导的建模
机译:生物系统的形式方法:语言,算法和应用。
机译:用于使用自动顺序对等检查对浮点除法和/或平方根算法设计进行分层形式硬件验证的系统,方法和计算机程序产品
机译:用于使用自动顺序对等检查进行浮点除法和/或平方根算法的分层形式硬件验证的系统,方法和计算机程序产品
机译:用于数据处理器中的形式化验证的方法包括:使用信号包络的一个限制执行验证算法,并使用验证算法限制状态空间搜索
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。